eo m / 9 50 30 24 v 1 2 9 M ar 1 99 5 Degrees of Generators of Ideals Defining Subschemes of Projective Space

نویسنده

  • Juan C. Migliore
چکیده

In this paper, we are interested in giving an upper bound for the degrees of the generators for an ideal defining a curve in projective space, and in investigating the properties of curves for which this bound is realized. While our bound works for subschemes of any dimension in any projective space, our characterizations for when the bound is realized only work for curves in P. Using the known structure theory for liaison classes of curves in P allows us to give a reasonably complete picture of the liaison classes containing the extremal curves, mainly in terms of the dimensions of the components of the deficiency module for the liaison class. We are also able to give some similar conditions for when a liaison class contains an integral curve satisfying our upper bound for degrees of generators. In contrast to the minimal degree of a generator, in most cases, the maximal degree is not readily computed in terms of other invariants, for example, the Hilbert function. There is, of course, Castelnuovo–Mumford regularity, [Mu], bounding the degrees of generators in terms of the cohomology modules (and more generally, bounding the degrees of generators of the syzygies). Another result which gives information about a certain class of curves is in [DGM], where they show that the defining ideals of arithmetically Cohen–Macaulay curves have generators whose degree is bounded above by one plus the last integer for which the second difference of the Hilbert function is non-zero. Furthermore, in [CGO], most arithmetically Cohen–Macaulay curves achieving this bound are classified; generally speaking, with some exceptions, the arithmetically Cohen–Macaulay curves whose ideals have a generator of maximal degree are linked in the minimal number of steps to plane curves. In that paper, however, they note that little is known about the non-arithmetically Cohen–Macaulay case, or the non-codimension two case. This is what sparked our interest in the

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : a lg - g eo m / 9 70 30 11 v 1 9 M ar 1 99 7 Moduli of flat bundles on open Kähler manifolds .

We consider the moduli space MN of flat unitary connections on an open Kähler manifold U (complement of a divisor with normal crossings) with restrictions on their monodromy transformations. Using intersection cohomology with degenerating coefficients we construct a natural closed 2-form F on MN . When U is quasi-projective we prove that F is actually a Kähler form.

متن کامل

ar X iv : a lg - g eo m / 9 50 90 03 v 1 1 S ep 1 99 5 Generators for Symbolic Powers of Ideals

L et I be an ideal, homogeneous with respect to the usual grading, in a polynomial ring R = k[x0, . . . , xn] in n+ 1 variables (over an algebraically closed field k). Denote the graded component of I of degree d by Id, and likewise the k-vector space of homogeneous forms of R of degree d by Rd. Since I is a graded R-module, we have k-linear maps μd,i : Id ⊗ Ri → Id+i given for each i and d by ...

متن کامل

ar X iv : a lg - g eo m / 9 50 40 08 v 1 1 5 A pr 1 99 5 INTEGRAL SUBSCHEMES OF CODIMENSION TWO

In this paper we study the problem of finding all integral subschemes in a fixed even linkage class L of subschemes in P of pure codimension two. To a subscheme X ∈ L we associate two invariants θX , ηX . When taken with the height hX , each of these invariants determines the location of X in L, thought of as a poset under domination. In terms of these invariants, we find necessary conditions f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995